Rusends1(${\it ds}$;$k$;$A$;$l$;${\it tg}$;$T$;$f$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Rsends(${\it ds}$;$k$;$A$;$l$;${\it tg}$ : $T$;[$<$${\it tg}$, $\lambda$$s$,$v$. [($f$($s$,$v$)) / []]$>$ / []])